COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00003 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
∂AIL Major David Carlstorm↓IPT∞

Dear Dave:

	Enclosed is a copy of a tutorial paper by Zohar Manna.  It
is so clearly written that I thought IPT might have some use for it
to show technically inclined people not familiar with program
correctness.

.reg